Class
#categories!
Unclassified! !
isPolyArgScope!
1846516!
Unclassified!
0! !
komment!
1846652!
Unclassified!
0! !
#extensionsAreSubtypes!
true! !
#superclassTypeString!
DeltaScope! !
#group!
ast! !
#subtype!
true! !
#branded!
true! !
#comment!
The sole purpose of this class is to allow us to distinguish between the
scopes used for type arguments in a polymorphic function and ordinary
scopes.

We need to make this distinction because:

1.  One needs to enforce the restriction that the names of the type arguments
of a polymorphic function are unique. However, type arguments can shadow
types in scopes surrounding the method. We need to able to determine which
entries are type arguments and which are not. Since type arguments inhabit
their own exclusive scopes, we can use these to make the distinction.

 (c) 1995-1997 Sun Microsystems, Inc. ALL RIGHTS RESERVED. 
Use and distribution of this software is subject to the terms of the attached source license.! !
#revision!
$Revision: 1.1 $! !
#abstract!
false! !
